Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
51	Bit-Precise Reasoning with Affine Functions Neil Kettle and Andy King∗ Portcullis Computer Security Limited, Pinner, HA5 2EX, UK Abstract The class of affine Boolean functions is rich enough to express constant bits an Add to Reading List Source URL: www.digit-labs.org Language: English - Date: 2008-06-09 08:21:20 Affine geometry Linear algebra Binary decision diagram Diagrams Model checking Artificial neuron Affine transformation Vector space Algebra Mathematics Boolean algebra
52	Ann Oper Res[removed]: 179–207 DOI[removed]s10479[removed]y The weighted G RAMMAR constraint George Katsirelos · Nina Narodytska · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-06-15 22:02:35 Computing Local consistency Constraint satisfaction problem Binary decision diagram Constraint satisfaction Constraint programming Software engineering Computer programming
53	Journal of Reliability and Statistical Studies; ISSN (Print): [removed], (Online):[removed]Vol. 5, Issue Special (2012): [removed]MULTI-STATE SYSTEM ANALYSIS BASED ON MULTIPLE-VALUED DECISION DIAGRAM Elena Zaitseva and V Add to Reading List Source URL: www.jrss.in Language: English - Date: 2012-05-13 09:38:34 Binary decision diagram Model checking Applied mathematics Artificial neuron Algorithm Directed acyclic graph Influence diagram Diagrams Mathematics Boolean algebra
54	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics
55	An Introduction to Binary Decision Diagrams Henrik Reif Andersen x Add to Reading List Source URL: fooo.fr Language: English - Date: 2013-02-15 14:26:20 Logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Propositional variable Truth table Canonical form Boolean algebra Mathematics Mathematical logic
56	Model support for confidential service-oriented business processes Andreas Lehmann and Niels Lohmann Universit¨ at Rostock, Institut f¨ ur Informatik, 18051 Rostock, Germany Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-02-16 03:46:02 Binary decision diagram Computer science Mathematics Theoretical computer science Diagrams Concurrency Petri net
57	Microsoft PowerPoint - Vorlesung BDD.ppt [Read-Only] [Compatibility Mode] Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2011-05-13 17:35:10 Binary decision diagram Diagrams Model checking Ethics Risk Reliability engineering Boolean algebra Management Design
58	Microsoft Word - Nusbaumer-Rauzy - FTL versus ETL Mathematical and Algorithmic Reconciliation_revised.doc Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2012-09-02 05:45:24 Mathematics Diagrams Philosophical logic Reliability engineering Canonical form Binary decision diagram Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Boolean algebra
59	Analytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications Olivier Nusbaumera, Wolfgang Krögerb, and Enrico Zioc a b Add to Reading List Source URL: nusbaumer.tripod.com Language: English* - Date: 2012-09-02 05:44:01 Binary decision diagram Model checking Theoretical computer science Zero-suppressed decision diagram Directed acyclic graph Static single assignment form Hypergraph Formal methods Boolean algebra Diagrams Mathematics
60	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic